Associative Memory In Hopfield Networks Designed To Solve Propositional Satisfiability Problems